def f (A: []([](i32, i32), [](i32, i32))) = A[0].1

entry main (A: *[]([](i32, i32), [](i32, i32))) =
  f A with [0] = (0, 0)
